|
In logic and mathematics, and is the truth-functional operator of logical conjunction; the ''and'' of a set of operands is true if and only if ''all'' of its operands are true. The logical connective that represents this operator is typically written as or . "''A'' and ''B''" is true only if ''A'' is true and ''B'' is true. An operand of a conjunction is a conjunct. Related concepts in other fields are: * In natural language, the coordinating conjunction "and". * In programming languages, the short-circuit and control structure. * In set theory, intersection. * In predicate logic, universal quantification. ==Notation== And is usually denoted by an infix operator: in mathematics and logic, or ; in electronics, ; and in programming languages, &, &&, or and. In Jan Łukasiewicz's prefix notation for logic, the operator is K, for Polish ''koniunkcja''.〔Józef Maria Bocheński (1959), ''A Précis of Mathematical Logic'', translated by Otto Bird from the French and German editions, Dordrecht, North Holland: D. Reidel, passim.〕抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「logical conjunction」の詳細全文を読む スポンサード リンク
|